Igor Walukiewicz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gentzen-type axiomatization for PAL

Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 910 KB

english, 1993

2

Games for the μ-calculus

Damian Niwiński, Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.25 MB

english, 1996

3

Deciding Nondeterministic Hierarchy of Deterministic Tree Automata

Damian Niwiński, Igor Walukiewicz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

4

Characterizing EF and EX tree logics

Mikolaj Bojańczyk, Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 282 KB

english, 2006

5

Third-order Idealized Algol with iteration is decidable

Andrzej S. Murawski, Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

6

Complexity of weak acceptance conditions in tree automata

Jakub Neumann, Andrzej Szepietowski, Igor Walukiewicz

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 98 KB

english, 2002

7

Monadic second-order logic, graph coverings and unfoldings of transition systems

Bruno Courcelle, Igor Walukiewicz

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 1.78 MB

english, 1998

8

Monadic second-order logic on tree-like structures

Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 269 KB

english, 2002

9

A gap property of deterministic tree languages

Damian Niwiński, Igor Walukiewicz

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

10

Deciding low levels of tree-automata hierarchy

Igor Walukiewicz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 942 KB

english, 2002

11

Describing properties of concurrent systems (Logic for Traces): (invited talk)

Walukiewicz Igor

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 31 KB

english, 2002

12

Difficult Configurations—On the Complexity ofLTrL

Igor Walukiewicz

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 477 KB

english, 2005

13

Choice functions and well-orderings over the infinite binary tree

Arnaud Carayol, Christof Löding, Damian Niwinski, Igor Walukiewicz

Journal:

Central European Journal of Mathematics

Year:

2010

Language:

english

File:

PDF, 707 KB

english, 2010

14

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5125 || The Complexity of Boolean Formula Minimization

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

15

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || Duality and Equational Theory of Regular Languages

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 350 KB

english, 2008

16

Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus

Igor Walukiewicz

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 394 KB

english, 2000

17

Pushdown Processes: Games and Model-Checking

Igor Walukiewicz

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 265 KB

english, 2001

18

Efficient emptiness check for timed Büchi automata

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 890 KB

english, 2012

19

An alternate proof of Statmanʼs finite completeness theorem

B. Srivathsan, Igor Walukiewicz

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 180 KB

english, 2012

20

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 505 KB

english, 2008

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || STORMED Hybrid Systems

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 469 KB

english, 2008

22

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || Reversible Flowchart Languages and the Structured Reversible Program Theorem

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 540 KB

english, 2008

23

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5125 || Explicit Non-adaptive Combinatorial Group Testing Schemes

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 444 KB

english, 2008

24

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2987 || Election and Local Computations on Edges

Walukiewicz, Igor

Year:

2004

Language:

english

File:

PDF, 187 KB

english, 2004

25

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Better Abstractions for Timed Automata

Herbreteau, Frederic, Srivathsan, B., Walukiewicz, Igor

Year:

2012

Language:

english

File:

PDF, 350 KB

english, 2012

26

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Wreath Products of Forest Algebras, with Applications to Tree Logics

Bojanczyk, Mikolaj, Straubing, Howard, Walukiewicz, Igor

Year:

2009

Language:

english

File:

PDF, 262 KB

english, 2009

27

Krivine machines and higher-order schemes

Salvati, Sylvain, Walukiewicz, Igor

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 697 KB

english, 2014

28

AN NP-COMPLETE FRAGMENT OF LTL

MUSCHOLL, ANCA, WALUKIEWICZ, IGOR

Journal:

International Journal of Foundations of Computer Science

Year:

2005

Language:

english

File:

PDF, 607 KB

english, 2005

29

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5125 || Property Testing on k-Vertex-Connectivity of Graphs

Aceto, Luca, Damgård, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor

Year:

2008

Language:

english

File:

PDF, 455 KB

english, 2008

30

Alternating timed automata

Lasota, Slawomir, Walukiewicz, Igor

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 210 KB

english, 2008

31

[Lecture Notes in Computer Science] Fundamentals of Computation Theory Volume 9210 || On the Mathematics of Data Centre Network Topologies

Kosowski, Adrian, Walukiewicz, Igor

Year:

2015

Language:

english

File:

PDF, 384 KB

english, 2015

32

[Lecture Notes in Computer Science] Fundamentals of Computation Theory Volume 9210 ||

Kosowski, Adrian, Walukiewicz, Igor

Year:

2015

Language:

english

File:

PDF, 8.12 MB

english, 2015

33

[Lecture Notes in Computer Science] Fundamentals of Computation Theory Volume 9210 || $$\epsilon $$ ϵ -Almost Selectors and Their Applications

Kosowski, Adrian, Walukiewicz, Igor

Year:

2015

Language:

english

File:

PDF, 260 KB

english, 2015

34

[Lecture Notes in Computer Science] Fundamentals of Computation Theory Volume 9210 || Recurring Comparison Faults: Sorting and Finding the Minimum

Kosowski, Adrian, Walukiewicz, Igor

Year:

2015

Language:

english

File:

PDF, 254 KB

english, 2015

35

A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ -Calculus

Igor Walukiewicz

Journal:

Bulletin of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 419 KB

english, 1996

36

Better abstractions for timed automata

Herbreteau, Frédéric, Srivathsan, B., Walukiewicz, Igor

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

37

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Grathwohl, Niels Bjørn Bugge, Henglein, Fritz, Kozen, Dexter, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 238 KB

english, 2017

38

Łukasiewicz μ-calculus

Mio, Matteo, Simpson, Alex, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 379 KB

english, 2017

39

CoCaml: Functional Programming with Regular Coinductive Types

Jeannin, Jean-Baptiste, Kozen, Dexter, Silva, Alexandra, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 327 KB

english, 2017

40

Pebble Games with Algebraic Rules*

Dawar, Anuj, Holm, Bjarki, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 464 KB

english, 2017

41

Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Milius, Stefan, Litak, Tadeusz, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 469 KB

english, 2017

42

Non-monotonic Pre-fix Points and Learning

Berardi, Stefano, de’ Liguoro, Ugo, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 335 KB

english, 2017

43

From Branching to Linear Time, Coalgebraically

Cîrstea, Corina, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 380 KB

english, 2017

44

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - The Diagonal Problem for Higher-Order Recursion Schemes is Decidable

Clemente, Lorenzo, Parys, Paweł, Salvati, Sylvain, Walukiewicz, Igor

Year:

2016

Language:

english

File:

PDF, 354 KB

english, 2016

45

Simply typed fixpoint calculus and collapsible pushdown automata

SALVATI, SYLVAIN, WALUKIEWICZ, IGOR

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 749 KB

english, 2016

46

Permissive strategies: from parity games to safety games

Bernet, Julien, Janin, David, Walukiewicz, Igor

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

47

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Static analysis of deterministic negotiations

Esparza, Javier, Muscholl, Anca, Walukiewicz, Igor

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

48

Preface

Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor, Baelde, David, Carayol, Arnaud, Matthes, Ralph, Walukiewicz, Igor

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 53 KB

english, 2017

49

Preface

Walukiewicz, Igor

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2005

Language:

english

File:

PDF, 32 KB

english, 2005

50

Foreword

Ésik, Zoltán, Walukiewicz, Igor

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2004

Language:

english

File:

PDF, 37 KB

english, 2004